基于学业成绩的师范生教师资格获得预警研究

本研究指出,教师资格考试是我国教师准入管理制度的重要环节,师范生教师资格证的获得是师范生职业发展的第一道门槛.本研究通过建立教师资格证考试内容与大学学科课程的对应关系,采用基于密度的离群点检测算法模型,以数学与应用专业学生的课程成绩为实验样本进行数据挖掘分析,识别学业危机学生.研究结果表明,该预警方法可以识别出教师资格获得危机学生,引起学生对教师资格证考试备考的重视,为教师提供预警干预学生的依据,有利于教师精准施教.该预警方法对离群特征显著的学生预测可达到100％,对离群特征不明显的学生识别率较低,算法有待修正.     

考虑交付质量和交付期约束的移动应用供应链决策与协调

针对由ERP厂商、APP厂商与客户企业组成的移动应用供应链,考虑客户企业对软件质量与交付时间存在约束,ERP厂商的售前服务会影响软件开发质量等问题,构建了基于软件质量与交付时间的收益模型,分析了分散与集中决策下双方的最优决策策略以及APP厂商的售后维护成本分担比例与应急成本对双方决策水平的影响,比较了两种决策下对应的合作绩效,提出了双向成本分担与提前交付奖励的供应链协调策略.研究表明:随客户企业的质量感知度增大,ERP厂商通过适当延长交付时间产生的质量改进效应大于延长交付期产生的负效应,使总效应增加;当客户企业的交付期敏感程度小于临界值时,ERP厂商可通过交付高质量软件产品提高自身利润,当交付期敏感程度大于临界值时,可通过提前交付提高自身利润;通过对供应链进行协调,可使原本因无法满足客户企业对质量与交付期的要求而使双方放弃合作的情形变得可合作,使原本可合作时双方的合作绩效与利润更高;当APP厂商独自承担售后维护成本时,实施供应链协调产生的价值大于双方共同承担时对应的值.     

基于机会约束的手术计划随机模型与算法

本文研究多服务台手术计划调度问题,考虑手术时间的不确定性,提出手术室加班时间的机会约束,以一定的概率保证病人的手术时间不超过手术室的开放时间,建立随机优化机会约束手术计划调度模型,确定手术室的开放和分配决策.基于手术时间离散的概率情景,引入0-1变量转化机会约束,得到了0-1整数线性规划的等价模型.为了提高模型的求解效率,提出两类有效不等式,并设计最长路径算法分离第二类有效不等式,利用分支切割方法进行模型求解.算例分析,基于北京某医院的实际数据,验证算法的有效性,确定最优的手术计划调度方案,有效地优化配置手术室资源.     

对高职数控专业毕业综合实训的探讨

本文探讨了数控技术专业毕业综合实训的改革思路，提出按职业资格标准强化技能培训，使学生在毕业前获得数控机床操作职业资格证书，切实提高学生的职业素质与就业竞争能力。     

美国室内设计师资质考试及其对我国的启示

介绍了美国国家室内设计师资格委员会（NCIDQ）关于专业室内设计师的概念，以及NCIDQ室内设计师资质考试的方式及类型，并从室内设计观、室内设计教育等方面分析了这一考试对我国的启示作用，指出室内设计师资质考试制度是公众利益的重要保障，是规范室内设计行业的必要措施．     

高校体育应把握素质教育的本质

了解“素质”、“素质教育”、“体育素质”,认识素质教育的本质,提出实施高校体育素质教育的几条途径,即加强高校教学改革,更新教学思想,提高教师队伍的素质,创造良好的体育锻炼环境.     

MkdV方程族的换位表示及其相应的Liouville完全可积系统

本文给出了ＭｋｄＶ方程族的换位表示及一个有限维对合系，并讨论了Ｂａｒｇｍａｎｎ约束和Ｃ．Ｎｅｕｍａｎｎ约束及其相应的定态ＭｋｄＶ系统。最后，我们得到ＭＫｄＶ方程族的对合解。     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

基于F-B函数的牛顿法解一般约束优化规划问题

文章给出了一个解决一般约束最优化问题的含调节参数型的牛顿算法.算法有两个重要特征,首先,算法借助Lagrange函数和NcP中的F-B函数,通过构造等价于点条件的线性方程组采处理一般约束优化问题,其次,利用F-B函数的光滑性质,定义了调节参数,从而弱化了K-T点条件.文章在适当的条件下,证明了该算法具有全局收敛性.数值实验表明算法有效.